divert the course of a river